Dijkstra and Scholten have proposed a formalization of classical predicate logic on a novel deductive system as an alternative to Hilbert's style of proof and Gentzen's deductive systems. In this context we call it CED (Calculus of Equational Deduction). This deductive method promotes logical equivalence over implication and shows that there are easy ways to prove predicate formulas without the introduction of hypotheses or metamathematical tools such as the deduction theorem. Moreover, syntactic considerations (in Dijkstra's words, "letting the symbols do (...) the work") have led to the "calculational style," an impressive array of techniques for elegant proof constructions. In this paper, we formalize intuitionistic predicate logic according to CED with similar success. In this system (I-CED), we prove Leibniz's principle for intuitionistic logic and also prove that any (intuitionistic) valid formula of predicate logic can be proved in I-CED. (shrink)

Despite the growing recognition for the need to improve the health of prisoners in Canada and the need for health research, there has been little discussion of the ethical issues with regards to health research with prisoners in Canada. The purpose of this paper is to encourage a national conversation about what it means to conduct ethically sound health research with prisoners given the current realities of the Canadian system. Lessons from the Canadian system could presumably apply in other jurisdictions. (...) Any discussion regarding research ethics with Canadian prisoners must begin by first taking into account the disproportionate number of Indigenous prisoners and the high proportion of prisoners suffering from mental illnesses. The main ethical challenges that researchers must navigate are the power imbalances between them, the correctional services staff, and the prisoners, and the effects this has on obtaining voluntary consent to research; and, the various challenges associated to protecting the privacy and confidentiality of study participants who are prisoners. In order to solve these challenges, a first step would be to develop clear and transparent processes for ethical health research, which ought to be informed by multiple stakeholders, including prisoners, the correctional services staff, and researchers themselves. Stakeholder and community engagement ought to occur in Canada with regards to ethical health research with prisoners that should also include consultation with various parties, including prisoners, correctional services staff, and researchers. It is important that national and provincial research ethics organizations examine the sufficiency of existing research ethics guidance and, where there are gaps, to develop guidelines and help craft policy. (shrink)

Cybersecurity aggregates are numerical data obtained by aggregation on features along a database of cybersecurity reports. These aggregates are obtained by integration of time-stamped tables using some recent results of non-standard calculus. Time-series of aggregates are shown to contain relevant information about the concrete system dealt with. Trend time series is also forecasted using known data-driven methods. Although absolute forecasting of trend time series is not obtained, a directional forecasting of trend time series is achieved thence validated by means of (...) a rolling cross validation scheme on a public database of Scareware reports. (shrink)

Cypriot hagiography attests the presence of women deacons during the 5th and 7th centuries. This paper presents the ordination of these women, and tries to clarify the role of ministry played out in different places on the island, according to three hagiographic testimonies: Acts of Heraclides, Vita Epiphanii, Vita Auxibii.

En el presente trabajo me propongo reconstruir la concepción ontológica de la verdad de los libros V-VI de la República a la luz de la conceptualización de la verdad predicativa del Sofista. Mi hipótesis interpretativa es que en ambos diálogos Platón distingue la verdad de sus condiciones de posibilidad, en especial, de su fundamento ontológico. Procuraré mostrar que las concepciones ontológica y predicativa de la verdad en el pensamiento platónico son incompatibles porque se fundamentan en ontologías diferentes.

Chapter VI discusses a few assumptions which underlie the proposed reconstruction of Hegel's procedures. It is shown that certain equivalents of such assumptions are either explicitly accepted by Hegel, or they are consequences of theses he subscribed to. Finally, it is suggested that some of these assumptions envisage a conception of language and philosophy which has an interesting parallel in Wittgenstein's later work. Such a conception sets philosophy sharply apart from the sciences, and deemphasizes the formation of contradictions. The general (...) relationship between vagueness and contradiction is briefly explored to show that some familiar contradiction-generating procedures can be seen to be based on vagueness of the relevant theoretical expressions. ;Chapter V deals with the Aufhebung. After an examination of Hegel's own theory of sublation, and an analysis of some textual examples, it is shown that some Aufhebung-procedures can be modelled by certain patterns of argument concerning simple algebraic structures. A few Hegelian concepts, such as "opposition," "unity," "passing over," "reflection," are partially explicated in the process. ;Chapter IV plays a pivotal role in the dissertation. It explains the generation of dialectical contradictions as stemming from syntactic and intensional indeterminacy of the theoretical terms. It is shown that Hegel's conceptual terms have no well-determined sense, so that their senses can be identified in different and possibly inconsistent ways. It is also shown that they can be made to play different syntactic roles, for no rigid determination of their syntactic function is assumed. This, again, may create contradictions. Both kinds of indeterminacy are related to Hegel's borrowing of his conceptual terms from a "natural" philosophical koine. ;Chapter III is an analysis of Hegel's language in the Logic. It tries to determine the grammatical and semantical status of Hegel's conceptual terms and to explicate the Hegelian use of the copula as occurring in certain typical sentential forms. ;The presence of the so-called "dialectical contradictions" is the most evident logico-linguistic peculiarity of Hegel's text. After a discussion of Hegel's theory of contradiction, and of some of its interpretations, it is argued that any satisfactory account of the dialectical method must explain the formation of contradictions on the basis of other logico-linguistic features of Hegel's text. ;Chapter II deals with a few such explanations which have been offered by modern interpreters of Hegel. Use of contemporary analytic concepts in the logical and linguistic analysis of Hegel's text is justified with reference to the Carnapian categories of "explication" and "rational reconstruction." ;The literature on Hegel's dialectic has made important contributions to an understanding of its nature both as a metaphysical theory of reality and as a philosophical attitude towards the human world. However, many recent interpreters agree that no satisfactory progress has been made in understanding dialectic as a method. This dissertation identifies the dialectical method as the specific form of Hegel's philosophical discourse, and tries to bring out its basic logico-linguistic features. The Science of Logic is chosen as the field of inquiry, because of its crucial position among Hegel's mature works. (shrink)

On this paper, we intend to make a psychological description of Creon as presented in Antigone, Sophocles tragedy. First, we will make a general description of the narcissistic personalities, based on the descriptions that the DSM-V and some authors make of this personality disorder. Then we will show that Creon’s case corresponds to this psychological description and intend to study the cause of his behavior. Finally, we will answer possible objections that could be made to the fact that we are (...) applying psychological categories to the Greek tragedy. Based on Kierkegaard’s description of the Greek tragedy, we will show that it cannot be understood on purely moral terms and how psychoanalysis allows us to rescue the tragic character of Creon. (shrink)

Estudio preliminar. I. La era de Darwin. II. Las coordenadas españolas de la polémica darwinista. III. Algunos datos sobre la introducción del darwinismo en España. IV. Breve historia de la controversia ideológica. V. Implicaciones filosóficas e ideológicas del darwinismo. Nota sobre los textos. ANTOLOGÍA DE TEXTOS. I. Un debate largo y virulento. I.1. Defensores. I.2. Adversarios. I.3. Posturas conciliadoras. II. Tres acontecimientos polémicos. II.1. El drawinismo en Granada. II.2. El I Congreso Católico Español. II.3. El cementerio del nacimiento de Darwin. (...) III. Darwinismo social. IV. Darwinismo y socialismo. IV.1. Anarquismo. IV.2. Socialismo marxista. V. La muerte de Darwin en la Prensa. V.1. Prensa católico-tradicional. V.2. Prensa liberal. V.3. Prensa obrera. Bibliografía y cronología del darwinismo en España [1859-1900]. (shrink)

Rejecting the Cut rule has been proposed as a strategy to avoid both the usual semantic paradoxes and the so-called v-Curry paradox. In this paper we consider if a Cut-free theory is capable of accurately representing its own notion of validity. We claim that the standard rules governing the validity predicate are too weak for this purpose and we show that although it is possible to strengthen these rules, the most obvious way of doing so brings with it a serious (...) problem: an internalized version of Cut can be proved for a Curry-like sentence. We also evaluate a number of possible ways of escaping this difficulty. (shrink)

In the eleventh chapter of Matthew’s Gospel, Jesus says to the inhabitants of Bethsaida and Corozain: “If the miracles worked in you had taken place in Tyre and Sidon, they would have repented long ago in sackcloth and ashes”. Passages like this support a scriptural argument for God’s knowledge of counterfactuals about created individuals. In the sixteenth century, Jesuits and Dominicans vigorously debated about how to explain this knowledge. The Jesuits, notably Luis de Molina and Francisco Suarez, argued that the (...) basis for this knowledge lies primarily in the divine intellect: counterfactuals about free creatures are primitive truths known to God by virtue of the immensity of his intellectual power. Their Dominican opponents, notably Domingo Bañez and Diego Alvarez, held that this knowledge is simply God’s knowledge of his own decrees, by which he determines the truth value of all contingent propositions, including counterfactuals. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 111 One fascinating item is the author's extensive account of the most violent and extended controversy in the history of aesthetics---the veneration of images and the disputes between the Iconoclasts and the Iconophiles. This sometimes physical battle raged for over 100 years! The Byzantine society, obviously, took art seriously. Tatarkiewicz' great labor is an object lesson in historiography and bibliographic technique. At one and the same time (...) it demonstrates how much of value remains to be discovered by careful adherence to the detail of scholarship, while it also displays how much fruitful scholarship depends upon a brilliant and profoundly informed mind. Such a work, in short, could only have descended from a fully mature scholar. Publication of these volumes underscores the continuing need for publication of significant translations waiting to be made. When can we return to those conditions which make possible this kind of international scholarly achievement? The Humanities Press is now offering these two volumes for $10.00. ALLAN SHIELDS Cali/ornia State University, San Diego Tempo, Coscienza e Essere nella filosofia di Aristotele. By Luigi Ruggiu. (Brescia: Paideia Editrice, 1970. Pp. xxviii+662. L. 6,000.) Ruggiu gives us here a careful and extended account of Aristotle's view of time with special attention to the necessary connections that obtain between time and consciousness, and time and beilag. Ruggiu is also interested in saying something about the origins of later Western conceptions of time and what he calls the nihilistic tendency which runs through them. The reader who (wishing to follow Ruggiu in this 690 page enterprise) begins by trying to get a sense of the architectonic of the essay, is immediately advised to skip E. Severino's somewhat misleading preface. In his own very useful Introduction, Ruggiu rightly notes that Aristotle's review of the aporia in the notion of time found that his predecessors had tended to assimilate (or reduce) time to non-being. But Ruggiu neglects to emphasize something that would have been very helpful at this stage, and which is altogether required, for the understanding of Aristotle's view of time. This is, that Aristotle himself assimilates time, not to non-being but to change and motion. It is also fundamental to Aristotle's philosophy of time, just as it is to his philosophy as a whole, that it acknowledges the primacy of change in the realm of the conditional. Let it be emphasized, then, that generation or change in Aristotle are not from nothing into something, or from something into nothing but from one thing into another. Ruggiu is trying to recover the sense of being in Aristotle which transcends the oppositions between idealism and naturalism, subjectivism and objectivism, and which is the matrix of Aristotle's sense of, and doctrine about, time. He finds that from Plotinos to the present, the prevailing interpretation of Aristotle's conception of time has been a spatial one in which, for instance, temporal succession has been reduced to spatial co-existence. Plotinos, of course, accepted the distinction found in Aristotle between the eternal sort of being which is outside of time and the being which is in time. But in trying to deduce temporal being from eternal being Plotinos is found guilty, by Ruggiu, both of equivocating between radically opposed senses of being and of developing his notion of time on the basis of the denial of time (quite like some modern mathematical philosophers of physics). Others have been equally mistaken in approaching Aristotle with the belief that consciousness is the basis of time. But the substrate of time, in Aristotle, is change, not conscious being. According to Ruggiu time in Aristotle is more than just a mode of being whose essence consists in succes- I 12 HISTORY OF PHILOSOPHY sion, for the reason that time conditions the very way in which we conceptualize being. The relations between being, time, and consciousness are, so to say, intrafoundational. Existing things or processes can, of course, be thought of as not existing; so, there is a sense or mode (namely, possibility) in Aristotle in which things disappear. Ruggiu (p. 411) understands Aristotle to mean by "the possible" that which does not now exist... (shrink)

Wisdom is a multi-component trait that is important for mental health and well-being. In this study, we sought to understand gender differences in relative strengths in wisdom. A total of 659 individuals aged 27–103 years completed surveys including the 3-Dimensional Wisdom Scale and the San Diego Wisdom Scale. Analyses assessed gender differences in wisdom and gender’s moderating effect on the relationship between wisdom and associated constructs including depression, loneliness, well-being, optimism, and resilience. Women scored higher on average on the (...) 3D-WS but not on the SD-WISE. Women scored higher on compassion-related domains and on SD-WISE Self-Reflection. Men scored higher on cognitive-related domains and on SD-WISE Emotion Regulation. There was no impact of gender on the relationships between wisdom and associated constructs. Women and men have different relative strengths in wisdom, likely driven by sociocultural and biological factors. Tailoring wisdom interventions to individuals based on their profiles is an important next step. (shrink)

Для широкого круга читателей (слушателей, аспирантов, преподавателей) интересующихся данной проблемой.

Shaʻar ha-ṭohorah. Liḳuṭim mi-Sefer ḥasidim -- Śiḥot u-maʼamarim.

This fourteenth volume of Collected Papers is an eclectic tome of 87 papers in Neutrosophics and other fields, such as mathematics, fuzzy sets, intuitionistic fuzzy sets, picture fuzzy sets, information fusion, robotics, statistics, or extenics, comprising 936 pages, published between 2008-2022 in different scientific journals or currently in press, by the author alone or in collaboration with the following 99 co-authors (alphabetically ordered) from 26 countries: Ahmed B. Al-Nafee, Adesina Abdul Akeem Agboola, Akbar Rezaei, Shariful Alam, Marina Alonso, Fran Andujar, (...) Toshinori Asai, Assia Bakali, Azmat Hussain, Daniela Baran, Bijan Davvaz, Bilal Hadjadji, Carlos Díaz Bohorquez, Robert N. Boyd, M. Caldas, Cenap Özel, Pankaj Chauhan, Victor Christianto, Salvador Coll, Shyamal Dalapati, Irfan Deli, Balasubramanian Elavarasan, Fahad Alsharari, Yonfei Feng, Daniela Gîfu, Rafael Rojas Gualdrón, Haipeng Wang, Hemant Kumar Gianey, Noel Batista Hernández, Abdel-Nasser Hussein, Ibrahim M. Hezam, Ilanthenral Kandasamy, W.B. Vasantha Kandasamy, Muthusamy Karthika, Nour Eldeen M. Khalifa, Madad Khan, Kifayat Ullah, Valeri Kroumov, Tapan Kumar Roy, Deepesh Kunwar, Le Thi Nhung, Pedro López, Mai Mohamed, Manh Van Vu, Miguel A. Quiroz-Martínez, Marcel Migdalovici, Kritika Mishra, Mohamed Abdel-Basset, Mohamed Talea, Mohammad Hamidi, Mohammed Alshumrani, Mohamed Loey, Muhammad Akram, Muhammad Shabir, Mumtaz Ali, Nassim Abbas, Munazza Naz, Ngan Thi Roan, Nguyen Xuan Thao, Rishwanth Mani Parimala, Ion Pătrașcu, Surapati Pramanik, Quek Shio Gai, Qiang Guo, Rajab Ali Borzooei, Nimitha Rajesh, Jesús Estupiñan Ricardo, Juan Miguel Martínez Rubio, Saeed Mirvakili, Arsham Borumand Saeid, Saeid Jafari, Said Broumi, Ahmed A. Salama, Nirmala Sawan, Gheorghe Săvoiu, Ganeshsree Selvachandran, Seok-Zun Song, Shahzaib Ashraf, Jayant Singh, Rajesh Singh, Son Hoang Le, Tahir Mahmood, Kenta Takaya, Mirela Teodorescu, Ramalingam Udhayakumar, Maikel Y. Leyva Vázquez, V. Venkateswara Rao, Luige Vlădăreanu, Victor Vlădăreanu, Gabriela Vlădeanu, Michael Voskoglou, Yaser Saber, Yong Deng, You He, Youcef Chibani, Young Bae Jun, Wadei F. Al-Omeri, Hongbo Wang, Zayen Azzouz Omar. (shrink)

This article elaborates local selective realism in view of the shifting from classical to quantum electrodynamics. After some introductory remarks, we critically address what we call global selective realism, hence setting forth the background for outlining local selective realism. When examining the transition from classical to quantum electrodynamics, we evaluate both continuities and discontinuities in observational features, mathematical structures, and ontological presuppositions. Our argument leads us to criticise the narrow understanding of limiting-case strategies, and to reject the claim that we (...) need a fully coherent theoretical framework to account for the transition from one theory to its successor in the case of electrodynamics. We close with a few remarks on the scope of local selective realism. (shrink)